Definitions | t T, x:A. B(x), kind(e), isrcv(k), x:A B(x), P  Q, P  Q, x:A B(x), P Q, P   Q, b, A, act(k), Id, loc(e), f(a), es_info(es), es-kind(es; e), es-act(es; e), loc(e), es-V(es), es-acttype(es; e), es-isrcv(es; e), es-E(es), event_system{i:l}, Type |